11 research outputs found
Future Climate Rhetorics of Belize: A Counter-Apocalyptic Inquiry into Belize’s Possible, Probable, and Preferable Futures
This dissertation investigates future climate rhetorics of Belize through a variety of methods in order to mediate the various conceptions of the future professed in climate policy, experiential phenomenology, and acoustic ecologies of agroecology. Chapter one considers the values embedded in climate change policy documents, specifically the Nation Communications documents composed by Belize’s various ministries since the country signed to the Paris Agreement in 2016. Using the People’s Agreement of Cochamba as an alternative lens, the chapter explores how people-centered, as opposed to market-centered, attunements informing climate policy can potentially lead to a more just, equitable future that does not rely on technocratic knowledge and the maintenance of colonial relations. Chapter two delves into a case study undertaken by the researcher at the Trio Farms Cacao Association’s cacao agroforestry concession to glean how the farmers working in this system conceive of changes in their labors as a result of increased temperatures, increased rainfall volatility, and increased incidents of natural disasters, proposing the ‘rhetoric of hope’ to discuss the futures projected by the farmers in spite of the industry’s bleak outlook. Chapter three builds from the case study through a sonic rhetoric performance writing experiment using passive acoustic monitoring (PAM) devices deployed in the concession to discuss audible perceptions of biodiversity and harmony in order to demonstrate mediations rhetoricians can provide to discussions about the role of human ‘ear ring’ amid the rise in machine ‘listening.’ The fourth chapter uses the insights of the previous chapters to develop a narrative in the method of what Aja Martinez’s terms ‘counter story’ in order to conceive of alternate futures wherein Belizeans might alter their political trajectory towards equity and wellbeing during a time of extreme heating events and collapsed global supply chains. The dissertation then concludes by discussing insights about the methods used in the dissertation that might be improved for repeatability as well as how aspects of the researcher’s life as an environmental activist have informed the work herein
Apprentissage de clauses nobetters dans les solveurs séparation et évaluation pour Max-SAT
International audienceNous introduisons une nouvelle méthode d'apprentissage de clauses dites nobetters pour les solveurs séparation etévaluationetévaluation pour Max-SAT. Elle s'inspire de l'apprentissage de clauses nogoods utilisé par les solveurs 5 SAT basés sur l'analyse de conflits (CDCL). Elle a pour objectif de permettre une meilleure résolution des instances industrielles par une meilleure prise en compte de leurs structures
Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
International audienceno abstrac
Apprentissage de clauses nobetters dans les solveurs séparation et évaluation pour Max-SAT
International audienceNous introduisons une nouvelle méthode d'apprentissage de clauses dites nobetters pour les solveurs séparation etévaluationetévaluation pour Max-SAT. Elle s'inspire de l'apprentissage de clauses nogoods utilisé par les solveurs 5 SAT basés sur l'analyse de conflits (CDCL). Elle a pour objectif de permettre une meilleure résolution des instances industrielles par une meilleure prise en compte de leurs structures
De la résilience de la propagation unitaire aux transformations par max-résolution
National audienceno abstrac
Improving Configuration Checking for Satisfiable Random k-SAT Instances
International audienceLocal search algorithms based on the Configuration Checking (CC) strategy have been shown to be efficient in solving satisfiable random k-SAT instances. The purpose of the CC strategy is to avoid the cycling problem, which corresponds to revisiting already flipped variables too soon. It is done by considering the neighborhood of the formula variables.In this paper, we propose to improve the CC strategy on the basis of an empirical study of a powerful algorithm using this strategy. The first improvement introduces a new and simple criterion, which refines the selection of the variables to flip for the 3-SAT instances. The second improvement is achieved by using the powerful local search algorithm Novelty with the adaptive noise setting. This algorithm enhances the efficiency of the intensification and diversification phases when solving k-SAT instances with k>= 4. We name the resulting local search algorithm \texttt{Ncca+} and show its effectiveness when treating satisfiable random k-SAT instances issued from the SAT Challenge 2012. Ncca+ won the bronze medal of the random SAT track of the SAT Competition 2013
Improving Configuration Checking for Satisfiable Random k-SAT Instances
International audienceLocal search algorithms based on the Configuration Checking (CC) strategy have been shown to be efficient in solving satisfiable random k-SAT instances. The purpose of the CC strategy is to avoid the cycling problem, which corresponds to revisiting already flipped variables too soon. It is done by considering the neighborhood of the formula variables.In this paper, we propose to improve the CC strategy on the basis of an empirical study of a powerful algorithm using this strategy. The first improvement introduces a new and simple criterion, which refines the selection of the variables to flip for the 3-SAT instances. The second improvement is achieved by using the powerful local search algorithm Novelty with the adaptive noise setting. This algorithm enhances the efficiency of the intensification and diversification phases when solving k-SAT instances with k>= 4. We name the resulting local search algorithm \texttt{Ncca+} and show its effectiveness when treating satisfiable random k-SAT instances issued from the SAT Challenge 2012. Ncca+ won the bronze medal of the random SAT track of the SAT Competition 2013
Understanding the power of Max-SAT resolution through UP-resilience
International audienc